Normal science - PDFSEARCH.IO - Document Search Engine

Normal science
Results: 1249

#	Item
311	Efficient Vote Elicitation under Candidate Uncertainty Joel Oren and Yuval Filmus and Craig Boutilier Department of Computer Science, University of Toronto {oren,yuvalf,cebly}@cs.toronto.edu Abstract Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-04-27 18:48:52 Voting Social choice theory Voting system criteria Normal distribution Partition Mathematics Single winner electoral systems Borda count
312	Overview SAT Solving and its Relationship to CSPs ‫ ڗ‬Tremendous gains have been achieved over the Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-02 18:24:48 Theoretical computer science Resolution Unit propagation Conjunctive normal form Literal Backtracking Inequality Davis–Putnam algorithm Automated theorem proving Mathematics Mathematical logic
313	Sound, Complete and Scalable Path-Sensitive Analysis ∗ Isil Dillig Thomas Dillig Alex Aiken Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2008-04-24 14:23:16 Model theory Functions and mappings First-order logic Predicate logic Interpretation Function Normal distribution Mathematical logic Logic Mathematics
314	Calibration Requirements Analysis System1 Howard T. Castrup, Ph. D. Manager, Advanced Measurement Science Department Science Applications International Corporation Abstract Metrology management and technical personnel ha Add to Reading List Source URL: www.isgmax.com Language: English - Date: 2009-11-19 22:38:00 Calibration Metrology Normal distribution Reliability engineering Measurement uncertainty Accuracy and precision Statistics Measurement Engineering
315	1 A complexity science perspective on human mobility Fosca Giannotti, Luca Pappalardo, Dino Pedreschi, Dashun Wang Fueled by big data collected by a wide range of high-throughput tools Add to Reading List Source URL: dashunwang.com Language: English - Date: 2014-01-07 21:32:19 Brownian motion Random walk Randomness Law Mobility model Normal distribution Entropy Diffusion process Random graph Statistics Stochastic processes Probability and statistics
316	Efficient Vote Elicitation under Candidate Uncertainty Joel Oren and Yuval Filmus and Craig Boutilier Department of Computer Science, University of Toronto {oren,yuvalf,cebly}@cs.toronto.edu Abstract Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-01-02 16:06:11 Statistics Political philosophy Probability and statistics Single winner electoral systems Borda count Normal distribution
317	This article was downloaded by: [University of Washington Libraries] On: 18 January 2013, At: 12:28 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: Registered office: Mo Add to Reading List Source URL: faculty.washington.edu Language: English - Date: 2013-01-18 15:38:43 Econometrics Actuarial science Estimation theory Linear regression Generalized linear model Linear model Normal distribution Statistics Regression analysis Statistical models
318	Policy Iteration for Learning an Exercise Policy for American Options Yuxi Li, Dale Schuurmans Department of Computing Science, University of Alberta Abstract. Options are important financial instruments, whose prices Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2008-09-08 12:22:02 Economics Autoregressive conditional heteroskedasticity Stochastic volatility Asian option TVR Reinforcement learning Normal distribution LSm Economic model Options Financial economics Statistics
319	Journal of Artificial Intelligence Research234 Submitted 8/14; published 1/15 On the Subexponential-Time Complexity of CSP Ronald de Haan Add to Reading List Source URL: www.jair.org Language: English - Date: 2015-01-30 21:27:29 Constraint programming Constraint satisfaction problem Constraint satisfaction Exponential time hypothesis Boolean satisfiability problem NP-complete Tree decomposition Conjunctive normal form Time complexity Theoretical computer science Applied mathematics Computational complexity theory
320	Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds∗ Yuval Filmus University of Toronto Massimo Lauria Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-05-06 19:14:13 Computational complexity theory Conjunctive normal form Proof complexity PP IP Polynomial Boolean algebra Frege system MAX-3SAT Theoretical computer science Applied mathematics Logic in computer science

UPDATE